integral of sin(ln x)